$\forall$$i$:Id, $T$:Type$_{\mbox{\scriptsize i}}$, $s$:$T$, $R$:($T$$\rightarrow$$T$$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), ${\it poss}$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), ${\it ev}$:possible{-}event\{i:l\}(${\it poss}$).
\\[0ex]poss{-}consistent($i$;$T$;$s$;${\it ev}$;$R$) $\in$ Prop$_{\mbox{\scriptsize i'}}$